Kosachev A.S., Burdonov B.I. «Semantics of interactions with refusals, divergence anddestruction. Part 1. Hypothesis of safety and safe conformance» // 2010. №4(13) C.124-133
Zhukovskaja A. O., Stefantsov D. A. «OPERATIONAL SEMANTICS FOR LYaPAS» // Applied Discrete Mathematics. Supplement 2015. №8 C.131-132
